On Interactions in the RM-ODP
نویسندگان
چکیده
The RM-ODP definition of interaction is subtle and difficult to understand. On closer inspection, we find that it is in fact invalid. We then attempt to establish the author’s original intentions for this concept, and to provide an effective definition. Our investigations lead us to discover some fundamental flaws in the definitions of interface and of behaviour of an object.
منابع مشابه
Consistency Checking of RM-ODP Specifications
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking of RM-ODP specifications. This tool is a category theory based consistency checker for formal specifications in a variety of languages, including both graphical and non-graphical modeling languages. Because RM-ODP suppo...
متن کاملA Formal Foundation of the RM-ODP Conceptual Framework
This paper presents an approach for formalizing the Reference Model for Open Distributed Processing (RM-ODP), an ISO and ITU standard for the modeling of distributed system. The goals of this formalization are to clarify the RM-ODP modeling framework thus making it more accessible to modelers such as system architects, designers and implementers and to open the way for the formal verification o...
متن کاملProposal for a formal foundation of RM-ODP concepts
This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is to clarify the RM-ODP modeling framework to make it more accessible to modelers such as system architects, designers and implementers, while opening the way for the formal verification of RM-ODP models, either within an ODP view...
متن کاملFormalization of the RM-ODP foundations based on the Triune Continuum Paradigm
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a satisfactory formalization of its proposed conceptual framework. We report on the definition and implementation of a concrete resolution for this challenge: a single consistent formalization of the RM-ODP conceptual fr...
متن کاملApplying Model-Driven Development to Business Systems using RM-ODP and EDOC
Improving development efficiency and maintainability for business systems requires a seamless development process, and both RM-ODP and MDA play a key role to this end. This paper shows our Model-Driven Development process in building business systems using RM-ODP and UML Profile for EDOC, with a case study of Electronic Health Record system models, and discusses several issues related to RM-ODP...
متن کامل